AlphaProof Nexus

mentions 2 type Person feed RSS

// recent coverage 2 mentions

11:57

2026-05-27

dev.to

ai-research

How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification

On May 21, 2026, a Google DeepMind AI agent autonomously resolved a 56-year-old open problem in mathematics posed by Paul Erdős and András Sárközy, at an inference cost of a few hundred dollars. The s…

00:00

2026-05-27

aiweekly.co

artificial-intelligence

AI Weekly Issue #496: Anthropic's Pentagon model is now everyone's model

Anthropic released its Mythos AI model to the public, eliminating the distinction between classified military-grade and commercial frontier AI. DeepMind CEO Demis Hassabis advanced his AGI timeline to…

// co-occurs with top 8 entities

Google DeepMind 1 Paul Erdős 1 András Sárközy 1 Online Encyclopedia of Integer Sequences 1 OEIS 1 Tsoukalas 1 arXiv 1 Anthropic 1